conjugacy is an equivalence relation